/**************************************************
Mini Dungeon - Pig
**************************************************/
void portal(Player@ player, Portal@ portal){
	int basemap = 100020000;
    if(player.getMap().getID() == basemap){
    player.changeMap(100020100, "out00");
	player.showMessage("You are now in Mini Dungeon - Henesys Pig Farm.");
    }
	else{
	player.changeMap(basemap, "MD00");
	player.showMessage("You are now in Victora Road - The Rain-Forest East of Henesys.");	
	}
}